A race to create info/ has been eliminated
authorRob Browning <rlb@defaultvalue.org>
Thu, 23 Oct 2014 15:24:22 +0000 (10:24 -0500)
committerRob Browning <rlb@defaultvalue.org>
Thu, 23 Oct 2014 15:37:11 +0000 (10:37 -0500)
commitab7f768c51efc79f100d01ce4f3d6c5bad12be32
treea912602368a1216982af23b82bc376fcf8d1b696
parent6e1086117ac5748816389e9df27ecc07984e8c9f
A race to create info/ has been eliminated

Previously something like "make -j2 info" might fail because there was
a race to create info/.  This backport was adapted from the broader
patch listed below.

Origin: backport, commit: r118181, a385f9e187ceec0610f000158305c9d5cb987dbd
Added-by: Rob Browning <rlb@defaultvalue.org>
Makefile.in